/* Pretty printing styles. Used with prettify.js. */

.str {
    color: #2A00FF;
}

.kwd {
    color: #7F0055;
    font-weight: bold;
}

.com {
    color: #3F5FBF;
}

.typ {
    color: #606;
}

.lit {
    color: #066;
}

.pun {
    color: #660;
}

.pln {
    color: #000;
}

.tag {
    color: #008;
}

.atn {
    color: #606;
}

.atv {
    color: #080;
}

.dec {
    color: #606;
}
